Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Identifieur interne : 000078 ( Main/Exploration ); précédent : 000077; suivant : 000079Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Auteurs : Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Source :
English descriptors
Abstract
The use of Unmanned Aerial Systems (UAS) can be leveraged in many application domains ranging from agriculture to industry, opening up a wealth of new possibilities. However, UAS obviously raise important safety concerns and the use of the techniques, processes and standards developed for the aeronautic industry is not a feasible solution for most UAS. There is a need to bring in novel and pragmatic solutions to develop provably safe UAS in a time and cost-affordable manner. This paper reports on the development of a smart parachute which provides a safe-crash (termination) solution for UAS, one of the core safety requirements which can be complemented by other safety components in an incremental manner. The requirements elicitation phase, the design and partial verification of the termination system has been carried out using CPAL, a lightweight model-based design environment for embedded systems. The study illustrates on a specific requirement of the system how simulation and fault-injection on models can be used to provide evidence that the parachute system meets its design objectives.
Url:
Affiliations:
- France, Luxembourg (pays)
- Grand Est, Lorraine (région)
- Luxembourg, Metz, Nancy
- Université de Lorraine, Université du Luxembourg
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 001C37
- to stream Hal, to step Curation: 001C37
- to stream Hal, to step Checkpoint: 000080
- to stream Main, to step Merge: 000078
- to stream Main, to step Curation: 000078
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author><name sortKey="Ciarletta, Laurent" sort="Ciarletta, Laurent" uniqKey="Ciarletta L" first="Laurent" last="Ciarletta">Laurent Ciarletta</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104899" status="VALID"><orgName>Realtime-at-Work</orgName><orgName type="acronym">RTaW</orgName><desc><address><addrLine>INRIA, Espace Transfert, 615, rue du Jardin Botanique, 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.realtimeatwork.com</ref></desc><listRelation><relation active="#struct-366885" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-366885" type="direct"><org type="institution" xml:id="struct-366885" status="INCOMING"><orgName>RealTime-at-Work</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Guenard, Adrien" sort="Guenard, Adrien" uniqKey="Guenard A" first="Adrien" last="Guenard">Adrien Guenard</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</name><affiliation wicri:level="1"><hal:affiliation type="department" xml:id="struct-73122" status="VALID"><orgName>Computer Science and Communications Research Unit [Luxembourg]</orgName><orgName type="acronym">CSC</orgName><desc><address><addrLine>Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg LUXEMBOURG</addrLine><country key="LU"></country></address><ref type="url">http://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit</ref></desc><listRelation><relation active="#struct-89847" type="direct"></relation><relation active="#struct-104741" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-89847" type="direct"><org type="laboratory" xml:id="struct-89847" status="VALID"><orgName>Laboratory of Advanced Software SYstems [Luxembourg]</orgName><orgName type="acronym">LASSY</orgName><desc><address><addrLine>University of Luxembourg Campus Kirchberg, LASSY 6, rue Coudenhove-Kalergi L-1359 Luxembourg</addrLine><country key="LU"></country></address></desc><listRelation><relation active="#struct-104741" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-104741" type="indirect"><org type="institution" xml:id="struct-104741" status="VALID"><orgName>Université du Luxembourg</orgName><orgName type="acronym">Uni.lu</orgName><desc><address><addrLine>6 rue Richard Coudenhove-Kalergi - L-1359 Luxembourg</addrLine><country key="LU"></country></address><ref type="url">http://wwwfr.uni.lu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Luxembourg (pays)</country><placeName><settlement type="city">Luxembourg</settlement></placeName><orgName type="university">Université du Luxembourg</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01251305</idno><idno type="halId">hal-01251305</idno><idno type="halUri">https://hal.inria.fr/hal-01251305</idno><idno type="url">https://hal.inria.fr/hal-01251305</idno><date when="2016-01-27">2016-01-27</date><idno type="wicri:Area/Hal/Corpus">001C37</idno><idno type="wicri:Area/Hal/Curation">001C37</idno><idno type="wicri:Area/Hal/Checkpoint">000080</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000080</idno><idno type="wicri:Area/Main/Merge">000078</idno><idno type="wicri:Area/Main/Curation">000078</idno><idno type="wicri:Area/Main/Exploration">000078</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author><name sortKey="Ciarletta, Laurent" sort="Ciarletta, Laurent" uniqKey="Ciarletta L" first="Laurent" last="Ciarletta">Laurent Ciarletta</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104899" status="VALID"><orgName>Realtime-at-Work</orgName><orgName type="acronym">RTaW</orgName><desc><address><addrLine>INRIA, Espace Transfert, 615, rue du Jardin Botanique, 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.realtimeatwork.com</ref></desc><listRelation><relation active="#struct-366885" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-366885" type="direct"><org type="institution" xml:id="struct-366885" status="INCOMING"><orgName>RealTime-at-Work</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Guenard, Adrien" sort="Guenard, Adrien" uniqKey="Guenard A" first="Adrien" last="Guenard">Adrien Guenard</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</name><affiliation wicri:level="1"><hal:affiliation type="department" xml:id="struct-73122" status="VALID"><orgName>Computer Science and Communications Research Unit [Luxembourg]</orgName><orgName type="acronym">CSC</orgName><desc><address><addrLine>Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg LUXEMBOURG</addrLine><country key="LU"></country></address><ref type="url">http://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit</ref></desc><listRelation><relation active="#struct-89847" type="direct"></relation><relation active="#struct-104741" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-89847" type="direct"><org type="laboratory" xml:id="struct-89847" status="VALID"><orgName>Laboratory of Advanced Software SYstems [Luxembourg]</orgName><orgName type="acronym">LASSY</orgName><desc><address><addrLine>University of Luxembourg Campus Kirchberg, LASSY 6, rue Coudenhove-Kalergi L-1359 Luxembourg</addrLine><country key="LU"></country></address></desc><listRelation><relation active="#struct-104741" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-104741" type="indirect"><org type="institution" xml:id="struct-104741" status="VALID"><orgName>Université du Luxembourg</orgName><orgName type="acronym">Uni.lu</orgName><desc><address><addrLine>6 rue Richard Coudenhove-Kalergi - L-1359 Luxembourg</addrLine><country key="LU"></country></address><ref type="url">http://wwwfr.uni.lu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Luxembourg (pays)</country><placeName><settlement type="city">Luxembourg</settlement></placeName><orgName type="university">Université du Luxembourg</orgName></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term> hybrid</term><term> parachute</term><term> safety</term><term> uas</term><term>uav</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">The use of Unmanned Aerial Systems (UAS) can be leveraged in many application domains ranging from agriculture to industry, opening up a wealth of new possibilities. However, UAS obviously raise important safety concerns and the use of the techniques, processes and standards developed for the aeronautic industry is not a feasible solution for most UAS. There is a need to bring in novel and pragmatic solutions to develop provably safe UAS in a time and cost-affordable manner. This paper reports on the development of a smart parachute which provides a safe-crash (termination) solution for UAS, one of the core safety requirements which can be complemented by other safety components in an incremental manner. The requirements elicitation phase, the design and partial verification of the termination system has been carried out using CPAL, a lightweight model-based design environment for embedded systems. The study illustrates on a specific requirement of the system how simulation and fault-injection on models can be used to provide evidence that the parachute system meets its design objectives.</div></front></TEI><affiliations><list><country><li>France</li><li>Luxembourg (pays)</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Luxembourg</li><li>Metz</li><li>Nancy</li></settlement><orgName><li>Université de Lorraine</li><li>Université du Luxembourg</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Ciarletta, Laurent" sort="Ciarletta, Laurent" uniqKey="Ciarletta L" first="Laurent" last="Ciarletta">Laurent Ciarletta</name></region><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><name sortKey="Guenard, Adrien" sort="Guenard, Adrien" uniqKey="Guenard A" first="Adrien" last="Guenard">Adrien Guenard</name></country><country name="Luxembourg (pays)"><noRegion><name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000078 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000078 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-01251305
|texte= Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
}}
| This area was generated with Dilib version V0.6.33. |  |